41. Arithmetic and logic in computer systems
المؤلف: Lu, Mi
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
42. Arithmetic and logic in computer systems
المؤلف: Mi Lu
المکتبة: (کرمان)
موضوع: Computer arithmetic,Logic programming
رده :
QA
76
.
9
.
C62
,
L8
2004
43. Arithmetic and logic in computer systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer arithmetic. ; Logic programming. ;
44. Artificial intelligence in simulation
المؤلف: FUTO,IVAN
المکتبة: (طهران)
موضوع: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
45. Automated deduction - A Basis for applications
المؤلف: edited by wolfgang Bibel, Peter H. Schmitt
المکتبة: (خراسان الجنوبیة)
موضوع: ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
46. Based Program Synthesis and Transformation :-Logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
47. CSL'87 lst workshop on computer science logic
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
48. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
المؤلف: / Edited by C. Bohm
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
49. Computational Logic in Multi-Agent Systems
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
50. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
المؤلف: edited by Masoud Mohammadian
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
رده :
QA
7609
.
C6
1999
51. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
المؤلف: Antonis C. Kakas, Fariba Sadri )eds.(
المکتبة: (طهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
52. Computing in Horn Clause theories
المؤلف: Padawitz, Peter, 3591-
المکتبة: (طهران)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
53. Computing in Horn clause theories
المؤلف: Padawitz, Peter
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
54. Computing with logic : logic programming with Prolog
پدیدآورنده : Maier, David
موضوع : ، Prolog )Computer program language(,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Conceptual graphs and fuzzy logic
المؤلف: Tru Hoang Cao,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Fuzzy graphs,Conceptual structures )Information theory(,Fuzzy logic,Logic programming,Computational intelligence,Begriffsgraph^aswd,Fuzzy-logisches Schliessen^aswd,Nateurliche Sprache^aswd,Ontologie ^aswd
رده :
QA
.
C35
166
.
175
2010
56. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
المؤلف: Tru Hoang Cao
المکتبة: (طهران)
موضوع: ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6
57. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
المؤلف: Harry S. Delugach, Gerd Stumme, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
58. Conclog : a methodological approach to concurrent logic programming
المؤلف: Jacquet, Jean-Marie
المکتبة: (طهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
556
59. Constraint Solving and Language Processing
المؤلف: edited by Denys Duchier, Yannick Parmentier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
60. Constraint satisfaction in logic programming
المؤلف: / Pascal Van Hentenryck,Van Hentenryck
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic programming
رده :
QA
76
.
6
.
V347
1989
